Fifteen Billion Years of Searching for God: Neither Science nor Theology Can Afford to Be Dogmatic

This essay argues that, in the search for truth, the findings of both science and theology are provisional. The author makes a strong case for clergy to stay informed about current science and technology, so that they can challenge their congregations to be skeptical and to develop a mature faith that serves the needs of contemporary life. He sets a healthy example, raising thoughtful questions about the nature of God and the universe

A distributed agent architecture for real-time knowledge-based systems: Real-time expert systems project, phase 1

We propose a distributed agent architecture (DAA) that can support a variety of paradigms based on both traditional real-time computing and artificial intelligence. DAA consists of distributed agents that are classified into two categories: reactive and cognitive. Reactive agents can be implemented directly in Ada to meet hard real-time requirements and be deployed on on-board embedded processors. A traditional real-time computing methodology under consideration is the rate monotonic theory that can guarantee schedulability based on analytical methods. AI techniques under consideration for reactive agents are approximate or anytime reasoning that can be implemented using Bayesian belief networks as in Guardian. Cognitive agents are traditional expert systems that can be implemented in ART-Ada to meet soft real-time requirements. During the initial design of cognitive agents, it is critical to consider the migration path that would allow initial deployment on ground-based workstations with eventual deployment on on-board processors. ART-Ada technology enables this migration while Lisp-based technologies make it difficult if not impossible. In addition to reactive and cognitive agents, a meta-level agent would be needed to coordinate multiple agents and to provide meta-level control

Toward the efficient implementation of expert systems in Ada

Here, the authors describe Ada language issues encountered during the development of ART-Ada, an expert system tool for Ada deployment. ART-Ada is being used to implement several expert system applications for the Space Station Freedom and the U.S. Air Force. Additional information is given on dynamic memory allocation

Ada issues in implementing ART-Ada

Due to the Ada mandate of a number of government agencies, interest in deploying expert systems such as Ada has increased. Recently, several Ada-based expert system tools have been developed. According to a recent benchmark report, these tools do not perform as well as similar tools written in C. While poorly implemented Ada compilers contribute to the poor benchmark result, some fundamental problems of the Ada language itself have been uncovered. Here, the authors describe Ada language issues encountered during the deployment of ART-Ada, an expert system tool for Ada deployment. ART-Ada is being used to implement several prototype expert systems for the Space Station Freedom and the U.S. Air Force

An Adversarial Interpretation of Information-Theoretic Bounded Rationality

Recently, there has been a growing interest in modeling planning with information constraints. Accordingly, an agent maximizes a regularized expected utility known as the free energy, where the regularizer is given by the information divergence from a prior to a posterior policy. While this approach can be justified in various ways, including from statistical mechanics and information theory, it is still unclear how it relates to decision-making against adversarial environments. This connection has previously been suggested in work relating the free energy to risk-sensitive control and to extensive form games. Here, we show that a single-agent free energy optimization is equivalent to a game between the agent and an imaginary adversary. The adversary can, by paying an exponential penalty, generate costs that diminish the decision maker's payoffs. It turns out that the optimal strategy of the adversary consists in choosing costs so as to render the decision maker indifferent among its choices, which is a definining property of a Nash equilibrium, thus tightening the connection between free energy optimization and game theory.Comment: 7 pages, 4 figures. Proceedings of AAAI-1

Predictable Patterns Of Disruptive Selection In Stickleback In Postglacial Lakes

Disruptive selection is often assumed to be relatively rare, because it is dynamically unstable and hence should be transient. However, frequency-dependent interactions such as intraspecific competition may stabilize fitness minima and make disruptive selection more common. Such selection helps explain the maintenance of genetic variation and may even contribute to sympatric speciation. There is thus great interest in determining when and where disruptive selection is most likely. Here, we show that there is a general trend toward weak disruptive selection on trophic morphology in three-spine stickleback (Gasterosteus aculeatus) in 14 lakes on Vancouver Island. Selection is inferred from the observation that, within a lake, fish with intermediate gill raker morphology exhibited slower growth than phenotypically extreme individuals. Such selection has previously been shown to arise from intraspecific competition for alternate resources. However, not all environments are equally conducive to disruptive selection, which was strongest in intermediate-sized lakes where both littoral and pelagic prey are roughly balanced. Also, consistent with theory, we find that sexual dimorphism in trophic traits tends to mitigate disruptive selection. These results suggest that it may be possible to anticipate the kinds of environments and populations most likely to experience disruptive selection.Integrative Biolog